1// -*- mode:c++ -*-
2
3////////////////////////////////////////////////////////////////////
4//
5// Output include file directives.
6//
7
8output header {{
9#include <sstream>
10#include <iostream>

--- 43 unchanged lines hidden ---