Looking for a decoder bug