SYMBOL_PTR_PREFIX_LEN
return name && !strncmp(name, SYMBOL_PTR_PREFIX, SYMBOL_PTR_PREFIX_LEN);
name += SYMBOL_PTR_PREFIX_LEN;