run -w -O0  < ../tests/simple/correct1.p0
bt