begin

  begin
    recordformat RIGHT(longreal K, J, I)
  end

  recordformatspec RIGHT

  recordformat OTHER(record (RIGHT) name MISTAKE)

  recordformat RIGHT(integer I, J, K)

  record (RIGHT) TEST

  record (RIGHT) map TESTMAP
    result == TEST
  end

endofprogram