begin
  ! see if we can remove redundant *& in assignment of 'that == buff(0)'
  recordformat bfm(integer i, j)

  ! BUG: currently the '*' is missing from the map declaration
  record(bfm)map   buff(integer addr)
  record(bfm)  this
    result == this
  end;           !  of 'buff'

  record (bfm) name  that

  that == buff(0)

endofprogram