pub const DECODED_COPY_FILE: &str = "executions.decoded.rust.json";
Decoded records as JSON, for the next process (issue #243)