C系の関数の書き方だとこちらのほうが受け入れやすいかも。
漏れは別にいらない気もするけど。

int func()
{
　in{}
　out( ret ){ assert( ret>0 ); }

　// 本体

　return 1;
}