let output_as_string e = Output_as_string e