comment DecodeCRIn and DecodeCROut, gratuitously