class foo {
  foo(int x)
    : a(new int()),
      b(new int())
  {
    *a = 2 * x;
    *b = *a;
  }
  ~foo() {
    delete a;
    delete b;
  }
  int* a;
  int* b;
};

fun main() -> int@ {
  let f = @foo(3);
  return *(f.a) - *(f.b);
}