texinfo_example_filter.cpp