add stub for readInt32Array