let marks_for_call_outputs (_, out_info) = out_info