Function syscall_read_input_handler 

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

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