[routing-wg]Re: [ncc-services-wg] 32-bit AS Number status?