Function encode_execution_result_to 

pub fn encode_execution_result_to(
    result: ExecutionResultRef<'_>,
    output: &mut [u8],
) -> Result<usize, RnxCodecError>