void hoge() in { assert(文); } body
{
// 処理
}
みたいに書いたり・・・？
in と out を関数内部に書きたかったりする・・・

void hoge()
{
in{ assert(文); }
out{ assert(文); }
}

あ、でもこれなら普通の scope 文でいいのか・・・？