should never be reached, assertion is needed