rename getUint32 to getInt32 and collect readInt*() in util.js