const repeat_getterinfo: JSJitInfo;