Re[4]: scope of header files