# Last edited on 2023-05-30 02:01:38 by stolfi

# Testing the comparison of negative {int32_t} with positive {uint64_t}.