const counterIncrement_setterinfo: JSJitInfo;