More pointers pre-asserts