C implementation: use intmax_t instead of int64_t
C implementation: update tests