Labeled blocks and explicit return are now implemented in BitC. See: http://www.bitc-lang.org/docs/bitc/spec.html#labeled-blocks http://www.bitc-lang.org/docs/bitc/spec.html#explicit-return CONTINUE is also now implemented.