/* Cannot declare the same record attribute more than once */

let
  type     dup = { value : int, value : string }
  var      box := dup { value = 51, value = "wow" }
in
  box.value
end