MAGIC_LABEL and MAGIC_WHILE