let
  type a = int
  var x: a := 1
in
  x
end