Silence warnings related to definedness