change tcc_add/get_symbol to use void*