def prim_95__95_writeString(_123_arg_95_0_125_, _123_arg_95_1_125_): return __RTS.op_write_str(_123_arg_95_0_125_, _123_arg_95_1_125_)
def Main_46_main(_123_in_95_0_125_): _123_in_95_1_125_ = None _123_in_95_1_125_ = __RTS.op_write_str(_123_in_95_0_125_, 'hello world\n') return None