#include <stdio.h>

char    *_nsyytext        = (char *)0xc5c5c5c5;
char    *__libipsecyytext = (char *)0xc5c5c5c5;