const animation_name_setterinfo: JSJitInfo;