init_MUTEX -> sema_init