def File.read_bytes
import Base322def File.read_bytes(file: File, max: U32) ->
323 IO(File & Result<&1, &1, U32 & String, List<&2, U32>>):
324 import "./effs/file_read.c"
325 import "./effs/file_read.js"
import Base322def File.read_bytes(file: File, max: U32) ->
323 IO(File & Result<&1, &1, U32 & String, List<&2, U32>>):
324 import "./effs/file_read.c"
325 import "./effs/file_read.js"