res_code : int; (** Return code from the script. *)
res_tmpdir : string; (** Temporary directory. *)
res_output : string; (** Filename of output from job. *)
res_code : int; (** Return code from the script. *)
res_tmpdir : string; (** Temporary directory. *)
res_output : string; (** Filename of output from job. *)