const checked_getterinfo: JSJitInfo;