main = string.Start
string.Start = <{StdString.:=}> (<{StdString.:=}> string.str (_Tuple2 0 'h')) (_Tuple2 6 'w')
string.str = "Hello World!"
<{StdString.:=}> !s_0 !_x_1 = case _x_1 (_Tuple2 i_10 c_11 -> string_update_copy s_0 i_10 c_11)