trace_printf() unknown

included from .c-files