CHECK_IF_ASCII   6331 string.c       		    CHECK_IF_ASCII(c);
CHECK_IF_ASCII   6353 string.c       	    CHECK_IF_ASCII(c);
CHECK_IF_ASCII   6379 string.c       	    CHECK_IF_ASCII(c);
CHECK_IF_ASCII   6428 string.c       	    CHECK_IF_ASCII(c);