Re: [DFDL-WG] stop bit encoding