void sf_charwrite (char* arr, size_t size, sf_file file) /*< write a char array arr[size] to file >*/ { ... }