assert(cond: BOOL)
/**/ define fn(X) /**/ assert(X > 0); /**/ return FloorSqrt(X); /**/ enddefine; /**/ fn(3); 1 -- /**/ fn(-3); --> ERROR: assertion failed (as expected)