#line 1 "-"
#line 1 "test/assign0.g"
/* Test assignment for some builtin types */

fun main() -> int@ {
  let x = @int(2);
  let y = @int(3);
  y = x;
  return x - y;
}