ARES System Manual: exec Shell

(exec script) exit

Terminates execution of the current script. See do.

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.