label just like C. You are allowed to change the control flow unconditionally.
Labels are named a dot
. and an identifier.
goto .<identifier> label .<identifier>
for i in range(10): for j in range(10): for k in range(10): goto .exit label .exit
If we detect an illegal divert, you will get an
UnexpectedError or the behaviour is undefined.