IO.args_bytes: def of Base
Import: import Base
Lines 195-202 of Base/base.bend: https://jend.leeeet.dev/read.txt?path=Base/base.bend&start_line=195&end_line=202

import Base

# IO.args as the OS hands it over: each entry's bytes (0..255), one List
# cell each, with no UTF-8 decoding, so an argument that isn't UTF-8 (a
# Latin-1 file name) keeps every byte, and File.open_bytes opens it. The
# JS lanes get the arguments already decoded by the host: there, a byte
# that isn't UTF-8 arrives as U+FFFD's UTF-8, EF BF BD.
def IO.args_bytes() -> IO(List<List<&2, U32>>):
  import "./effs/args.c"
  import "./effs/args.js"

Uses (3):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=IO
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32