(Menu) Turn core_info_current into void*