DB<22> c
0123auto(-3)  DB<22> X y
$y = 3
auto(-2)  DB<23> b 19 $y==3
auto(-1)  DB<24> { X y
  DB<25> c
45678910auto(-1)  DB<25> X y
  DB<26>