void sf_ucharread (/*@out@*/ unsigned char* arr, size_t size, sf_file file) /*< read a uchar array arr[size] from file >*/ { ... }