this is the input file
for test_vcl_cstdio.
