const high_setterinfo: JSJitInfo;