void *symbol_get(const char *symbol);
void symbol_put(void char *symbol);