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)); }