forget_token(symbol + i, len - i); 
token_profit[ symbol[i] + (symbol[i + 1] << 8) ]--; 
static void forget_symbol(unsigned char *symbol, int len){	int i;	for (i = 0; i < len - 1; i++)		forget_token(symbol + i, len - i);}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/b3dbb4ecd46767b621df3dedd28788da93ee0cac/kallsyms.c/buggy/scripts/kallsyms.c