no need to check for NULL pointers before dereferencing, as the pointers

MUST be valid and they are dereferenced further down in the function
unconditionally!