tests/compile/str.lean.out.expected

hello α_world_β
llo α_world_β
llo α_world_β
llo α_world_

_world_β
17
"aaa"
>> h
>> e
>> l
>> l
>> o
>>  
>> α
>> _
>> w
>> o
>> r
>> l
>> d
>> _
>> β
true
true
true
true
false
false
true
2