outbin: replace fprintf(rf, not_defined); with fputs(not_defined, rf);