set_file_offset is governed by _NO_PULLDATA_API, not _NO_PUSHDATA_API