__pt_guarded_by
static void **stack_pools __pt_guarded_by(&pool_lock);
int *pointer __pt_guarded_by(&lock); \