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