Do not call sem_check on the result of sem_default_value