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