Are these pointers safe to leave without setting to NULL?