ACQUIRE_BEN
#define ACQUIRE_BEN(x) if((atomic_add(&(x.ben), 1)) >= 1) acquire_sem(x.sem);
#define ACQUIRE_BEN(x) mutex_lock(x)
#define ACQUIRE_BEN(x) mutex_lock(x)
#define ACQUIRE_BEN(x) mutex_lock(x)