__ctx_lock_type
# define __ctx_lock_type(name) __attribute__((capability(#name)))
# define __ctx_lock_type(name)