int foo(int arg)
in { assert(arg > 0); }
out (result) {assert(result == 0);}
do
{
    return 0;
}

int bar(int arg)
in ( arg > 0 )
out(; true)
out/*Major*/ ( /*Tom*/ result /*To ground control*/; result==0)
{
    return 0;
}