/* Test assignment for some builtin types */

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