Sys.sys.read.fuel: def of ezsys@0.1.0.0
Import: import ezsys@0.1.0.0/src/sys.bend as Sys
Lines 32-34 of ezsys@0.1.0.0/src/sys.bend: https://jend.leeeet.dev/read.txt?path=ezsys@0.1.0.0/src/sys.bend&start_line=32&end_line=34

import Base

# reads one file.read makes at most
def sys.read.fuel() -> Nat:
  65536n

Uses (1):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat