cast is never NULL?