let copy = @int(0);
let deflt = @int(0);

class foo {
  foo() { ++deflt; }
  foo(foo) { ++copy; }
};

fun main() -> int@ {
  let f = @foo();
  return copy + deflt - 1;
}