[Boost-users] how to use input_filter to read data from a file?