/* Cannot set the same record attribute in instantiaition more than once */

let
  type     dup = { value : int, id: int }
  var      box := dup { value = 51, value = 15 }
in
  box.value
end