jump
ARES System Manual: exec Shell

(exec script) jump <label>

If inside a script (see do), looks for a line @<label>: and moves execution to the line after it.

The label destination must start with an @ sign and end in a colon.

Shell built-in command: This command is part of the exec shell and does not have a corresponding system binary. It must be used shell scripts without a preceding @ and cannot be called directly with the system invoke() API.