begin

  recordformat db(record (db) name array Bound(0:10), integer low, high)
  record (db) Dope
  record (db) name B
  integer J = 3

  B == Dope_Bound(J)

endofprogram