michael@0: assertEq(-2^31, -31);