В программах на языке C можно использовать следующий макрос, который в случае ложности его аргумента немедленно прекращает выполнение программы, сообщая о причине этого:
В языке Java используемые в программах переменные величины и константы типов int и double принимают значения из множеств: