void sf_intread (/*@out@*/ int* arr, size_t size, sf_file file) /*< read an int array arr[size] from file >*/ { ... }