void sf_complexread (/*@out@*/ sf_complex* arr, size_t size, sf_file file) /*< read a complex array arr[size] from file >*/ { ... }