Listing 4

// input_redirection_demo.cpp
#include "input_redirection_demo.hpp"

int main() {
  return input_redirection_demo::main();
}