==== Integer Overflow ====
Type: Warning
Contract: Unknown
Function name: **ambiguous** b
PC address: 158
A possible integer overflow exists in the function `**ambiguous** b`.
The addition or multiplication may result in a value higher than the maximum representable integer.
--------------------

==== Integer Overflow ====
Type: Warning
Contract: Unknown
Function name: **ambiguous** b
PC address: 278
A possible integer overflow exists in the function `**ambiguous** b`.
The addition or multiplication may result in a value higher than the maximum representable integer.
--------------------

==== Integer Underflow ====
Type: Warning
Contract: Unknown
Function name: **ambiguous** b
PC address: 378
A possible integer underflow exists in the function `**ambiguous** b`.
The subtraction may result in a value < 0.
--------------------