assert(c != '\0') in readfile()