pub fn set_script_args(args: Vec<String>)Expand description
Record the script’s command-line arguments. Called once at program startup
(compiled main or the interpreter’s file runner); any later call is ignored,
so the arguments a script sees are fixed for its whole run.