int readInPtrArray(int offset, int* arr)
{
  //@assert offset >= 0;
  return arr[offset];
}