-let rec call_stmt name (_loc, stmt, sh) =
- let name = if name <> "" then name else unique_job_name () in
- let name = <:expr< $str:name$ >> in
+let rec call_stmt ?name ?pre ?post (_loc, stmt, sh) =
+ let name =
+ match name with
+ | None -> let name = unique_job_name () in <:expr< $str:name$ >>
+ | Some name -> name in
+ let pre = expr_of_option _loc pre in
+ let post = expr_of_option _loc post in