type result = {
res_job_name : string; # job name
+ res_serial : big_int; # job serial (same as $JOBSERIAL)
res_code : int; # return code from the shell script
res_tmpdir : string; # temporary directory script ran in
res_output : string; # filename of stdout/stderr output