ulver_symbol_get and ulver_register_fun