Fixed comments on libtest.c to emphasize that we are not using gcc's intrinsic printf. Issue #2.