let w_field = function     | `Trace (Some trace, received) ->       w_field' (`ReturnPath (Some trace))       $ List.fold_right (fun x acc -> w_field' (`Received x) $ acc) received noop     | `Trace (None, received) ->       List.fold_right (fun x acc -> w_field' (`Received x) $ acc) received noop