c decoder bug