int main(int argc, char *argv[]){
ref_type(long) x;
(void) argc;
(void) argv;
x = ref_new(long);
ref_acquire(x);
ref_val(x) = 123456;
printf("%ld\n", ref_val(x));
ref_release(x);
return 0;
}
void ic_acquire(struct interface *ic) { ref_acquire(&(ic->r)); }
void rq_acquire(struct request *rq) { ref_acquire(&(rq->r)); }
void array_acquire(struct array *a) { ref_acquire(&(a->r)); }
