refined: util::with-decoding-error