Silence warnings about pointer casting