int inputSize(int);
unsigned char inputName(int, int);
unsigned char inputData(int, int);
and int is 32-bit in wasm
in practice w/ emscripten layer on top it's a lot smaller since wasm memory is max 2gb something too and the filesystem.c layer loads entire file into memory
basically idea is that you can feed a truebit task files beyond 2gb in size -- right now, the API between the WASM and the TrueBit interpreter has a method for 'give me the byte in this file at this <int32_t> location'
and i'm suggesting we make that api (and the one inquiring the size), or a create an additional version of the same API, to take two 32-bit values that reflect a location up to 2^64-1 in a file
as we naturally can't map a whole file into 2gb WASM memory, but in many cases we do want to read from it into a buffer