Cleaner C types for Mutex