const animation_name_getterinfo: JSJitInfo;