関数は「値を返す」か「途中で挫折してexit/longjump/throw」
のいずれかの動作を取るけれど
後者があるからといって
>>754の内容が間違っているかどうかは別だ。
特にC++ではvoidを返すという考え方を認めている