include_c "stdlib.h";

struct foo {
  int x;
  float y;
};

fun main() -> int@ {
  let a = @foo{x=1,y=d2f(3.0)};
  // Copy Construct
  let p1 = malloc(sizeof(a));
  let f1 = new (p1) foo(a);
  let n1 = f1->x + f2i(f1->y);
  destroy f1;
  free(p1);
  // Default construct
  let p2 = malloc(sizeof(a));
  let f2 = new (p1) foo();
  *f2 = a;
  let n2 = f2->x + f2i(f2->y);
  destroy f2;
  free(p2);
  return n1 + n2 - 8;
}