обсуждали верификацию программ и ограничение по типу

aizen: а разве ограничение свыше типом не задано?, мол, account <= INT_MAX
r_g: ???
aizen: прост я перепутал слова "сверху" и "свыше", данное господом
r_g: Не грабь, не убивай, не насилуй, не превышай значения INT_MAX
aizen: освобождай выделенную память, но не дважды, не разыменовывай нулевой указатель, и закрывай файл за собой
r_g: На ноль не дели
esc: а у некоторых garbage collector есть, он их причащает и исповедует
esc: и да, на ноль делить можно, но не всем ©