// safety check at compile time virtual { byte x = any; if (i+x > 300) fail; } decide on a keyword: virtual compiletimecheck compilercheck compiletime // could do computations also...