Use STATUS_TO_RETURN_CODES for more readable specs