If you want to read 3 ints at a time, then why not have a buffer

int buff[3];

Then you would only need to cast a pointer in file.read()