! This recordformat spec does not get passed into the icode file.

recordformatspec stackfm

! I cannot see anywhere in the icode that tells us that LINK is a STACKFM???!
! Yet the output of my icode2ast program correctly declares link as a %record (STACKFM) %name ???!

recordformat blech(integer x, record (stackfm) name link)

recordformat stackfm(integer s)

external routine PASS2(integer p, record (blech) puke)
  routine {PASS2} ASSEMBLE(integer AMODE, integer VARS, integer LOCAL, integer PARAMETERLIST, integer name GLOBALATTRIBUTES)
    routine {PASS2 ASSEMBLE} SHOWDATA(record (STACKFM) name V, integer LEFT)
      integer q = V_S
    end
  end
end

endoffile