Maybe let's call this OFAuxId -- just because 'Aux' isn't very descriptive as a name. It only becomes descriptive with the context that it describes an aux connection id for OpenFlow (we could also call it AuxConnectionId, but OFAuxId is shorter)