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