Hi Dan, > Also, pass true for isSigned even when creating constants for unsigned > comparisons, because the point is to create an all-ones constant, > rather than UINT64_MAX, even for integers wider than 64 bits. why not use Constant::getAllOnesValue? Ciao, Duncan.