changed format specifier from %d to %X in class TestbedAddress