***** Section <default> *****
Stats: size=15  blocks=15  symbols=3  literals=0  relocations=0
Blocks
    name        start   size  #ins #dir #sto
    <default>   00000  0000F     4    3    0
Symbols
    name        hex       dec  scope     kind      type      description
    LAB      00000C        12  local     relative  data      label
    halt     000009         9  local     relative  code      label
    mojprg   000000         0  exported  relative  code      label
Literals
    label   definition
Relocations
    address length flag symbol