Test: unsigned_underflow.cpp
PASS: unsigned_underflow.cpp