%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