DB<15> s
main::CODE(0x97b7d28)((eval 20)[tt:11]:2):
2:

DB<15> 
main::CODE(0x97b7d28)((eval 20)[tt:11]:3):
3:

DB<15> 
main::CODE(0x97b7d28)((eval 20)[tt:11]:4):
4:

DB<15> 
x is 127

Debugged program terminated.  Use q to quit or R to restart,
  use o inhibit_exit to avoid stopping after program termination,
  h q, h R or h o to get additional info.