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