v7_exec_file(): restoring pc & line_no