Function write_encoded_trace 

pub fn write_encoded_trace(
    relocated_trace: &[RelocatedTraceEntry],
    dest: &mut impl BinaryWrite,
) -> Result<(), EncodeTraceError>

Writes the trace binary representation.

The trace entries (ap, fp, pc) are little-endian encoded and concatenated:

• ap: 8-byte
• fp: 8-byte
• pc: 8-byte