Can we be sure that tex-pointer is never NULL?