const counterIncrement_getterinfo: JSJitInfo;