async def corofunc(**local_args):
            nonlocal called
            assert local_args == args
            called += 1
def test_ccode_Integer():
    assert ccode(Integer(67)) == "67"
    assert ccode(Integer(-1)) == "-1"