-rw-r--r-- 56 saferewrite-20241004/src/uint64_load_bigendian/api raw
return uint64 z
in uint8 s 8
call uint64_load_bigendian