Function run_file 

pub fn run_file(path: &Path, args: Vec<String>) -> Result<Outcome<()>>

Compile and immediately execute a file (nova run), with args as the program’s arguments: std/process’s args() returns exactly this list.