def read_bytes.pair
import bend-kit-files@0.3.1.0/files.bend as Filesimport Base
import bend-kit-bytes@0.3.3.0/bytes.bend as Bytes
196def read_bytes.pair(pair: File & Result<&1, &1, U32 & String, U32 & Array<U32>>) ->
197 File & Result<&1, &1, U32 & String, Bytes.Bytes>:
198 match pair:
199 case (handle, result):
200 (handle, read_bytes.wrap(result))