let pretty_actuals fmt actuals = Pretty_utils.pp_flowlist (fun fmt (_,x,_) -> Cvalue.V.pretty fmt x) fmt actuals