Document assumptions that are being made to avoid NULL pointer dereferences