i don't get it - if do
int foo(int a) {
assert(a > 5);
int b = a * 10;
assert(b > 50);
return b;
}