-rw-r--r-- 46 saferewrite-20240622/src/uint64_load/api raw
return uint64 z
in uint8 s 8
call uint64_load