>> extern(C) int foo(int i) >> in { assert(i > 7); } >> out (result) { assert(result & 1); } > > A nice idea to remember (regardless the syntax used to do it). At least that's the interface contracts syntax (wonder why there's no ';')