Symbol: mana_handle_t