<{StdString.+++_11}> :== string_append <{StdString.%_10}> !str_0 !_x_1 = select _x_1 (_Tuple2 a b -> string_slice str_0 a b) <{StdString.:=}> !s_0 !_x_1 = select _x_1 (_Tuple2 i_10 c_11 -> string_update s_0 i_10 c_11) <{StdString.==_2}> :== eq <{StdString.<_3}> :== lt StdString.fromString_4 a_0 = a_0 StdString.toString_5 n_0 :== toString StdString.toString_6 a_0 :== toString StdString.toString_7 a_0 :== toString StdString.toString_8 a_0 = if a_0 "True" "False" StdString.toString_9 a_0 = a_0