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;
}