to_write           19 user/uw-testbin/conc-io/conc-io.c char const *to_write = "ABCDEFGHIJKLMNOPQRSTUVWXYZ";
to_write           52 user/uw-testbin/conc-io/conc-io.c       do_writes(to_write[i]);