DB<10> print 5+abc
5
  DB<11> print 5+Inf
inf