const overflow_setterinfo: JSJitInfo;