let write_output ?stdout ?stderr ?return_value expr =     Write_output {expr; stdout; stderr; return_value}