Don't use some more typedefs
in tvprintf(), va_end before successful return