HOPI_SYMBOL