def add(x, y): return saturate(x + y, Uint[8])
async def add_gear(x, y) -> Uint[8]: async with x as dx, y as dy: yield saturate(dx + dy, t=Uint[8])
def test_uint_type(): saturate(Uint[8], Uint[7]) == Uint[7]