初心者は知らないが中級以上のプログラマーが必ず知っている常識が、「プログラムの状態」に関するものだ。どのような常識なのだろうか。