Function syscall_read_output_handler 

pub fn syscall_read_output_handler(
    ctx: &mut impl StoreTr<RuntimeContext>,
    params: &[Value],
    _result: &mut [Value],
) -> Result<(), TrapCode>

Reads [offset, offset+length) from ctx.execution_result.return_data and writes it at target_ptr.