ReadFile
result = ReadFile(cookie, state, pos + size, &len,
status_t ReadFile(OpenStateCookie* cookie, OpenState* state,
res = ReadFile(handle, rbuf, count, &bt, NULL);