We're never passing null because if we were, a SEGV would happen earlier. But just in case, add a few asserts.