begin
  recordformat fm(integer a,b,c)

  ! A similar construct in pass2.imp fails to detect the recordfields
  ! of the routine parameters.  It's not clear what the difference is.
  
  routine userec(record (fm) name dest, record (fm) src)
    dest_b = src_a
  end
  
endofprogram