OWNER_NULL
if (owner_state == OWNER_NULL)
return owner ? OWNER_WRITER : OWNER_NULL;
int prev_owner_state = OWNER_NULL;