***** Section <default> *****
Stats: size=3031  blocks=3031  symbols=6  literals=0  relocations=0
Blocks
    name        start   size  #ins #dir #sto
    <default>   00000  00BD7     9    4    1
Symbols
    name           hex       dec  scope     kind      type      description
    HALT        000003         3  local     relative  code      label
    oldvalue    000019        25  local     relative  data      label
    prog        000000         0  exported  relative  code      label
    stack       00001F        31  local     relative  data      label
    stackinit   000006         6  local     relative  code      label
    stackptr    00001C        28  local     relative  data      label
Literals
    label   definition
Relocations
    address length flag symbol