tests pass when code uses int64_t's