1struct __attribute__((lockable)) mutex {2 void lock() __attribute__((exclusive_lock_function));3 void unlock() __attribute__((unlock_function));4};5
