// LZW streaming compressor/decompressor based on LZW AB.
// Copyright (c) 2016 David Bryant, 2018+ other authors, all rights reserved (see AUTHORS).
// Distributed under the BSD Software License (see LICENSE).

#include <assert.h>
#include <gmp.h>

// We are going to create numbers, add something and compare results.

int main(void)
{
  mpz_t a, b;

  // a = 0.
  mpz_init(a);

  // b = 0.
  mpz_init(b);

  // a = a + 1.
  mpz_add_ui(a, a, 1);

  // b = b + 2.
  mpz_add_ui(b, b, 2);

  // a (1) < b (2).
  assert(mpz_cmp(a, b) < 0);

  // a = a (1) * 3.
  mpz_mul_ui(a, a, 3);

  // b = b (2) * 1.
  mpz_mul_ui(b, b, 1);

  // b (2) < a (3).
  assert(mpz_cmp(b, a) < 0);

  mpz_clear(a);
  mpz_clear(b);

  return 0;
}