is_nonempty_file
int is_nonempty_file(char *pathname);
if (!is_nonempty_file(infilename)) {
if (readcache && is_nonempty_file(cachename)) {
if (is_nonempty_file(path)) {
if (is_nonempty_file(path)) {