begin

recordformatspec specfm  ; ! remember this line is not passed to the ICode file...

routinespec handle known(record (specfm) name no details yet)  ;   ! icode2ast should trigger on this recordformat and cause the %spec to be output before this line!

routine handle unknown(record (specfm) name no details yet)
  handle known(no details yet)
end

recordformat specfm(real r, integer detail, string(15) another)

routine handle known(record (specfm) name now we got details)
  write(now we got details_detail, 0)
  newline
end

record (specfm) known

handle unknown(known)

endofprogram