hello, world!
string=foo
foo         42 00000005          0
0ms+0: $finish called
