さっさと macro を実装し終えないといかんけど、脱線がやめられないとめられない。Pattern match で mismatch が起きたときの処理だけど、 特定の値を返して return しまくる longjmp の二つがある。前者だと戻り値の判定が積もる。後者だと setjmp() が重い…