begin

  integer value
  recordformat simple(integer b)

  record (simple) map recmap
    ownrecord(simple) inner
    result == inner
  end
  
  recmap_b = value

endofprogram