Index: src/AST/Print.hpp
===================================================================
--- src/AST/Print.hpp	(revision 558d13be6924cb43bbc06465ce4a538d053f2d11)
+++ src/AST/Print.hpp	(revision 662572780e20a16122cc52e797041997d3dc3120)
@@ -16,6 +16,6 @@
 #pragma once
 
-#include <iosfwd>
-#include <utility> // for forward
+#include <iostream>
+#include <utility>   // for forward
 
 #include "AST/Node.hpp"
@@ -32,6 +32,14 @@
 void printShort( std::ostream & os, const ast::Decl * node, Indenter indent = {} );
 
-inline void printShort( std::ostream & os, const ast::Decl * node, unsigned int indent ) {
-    printShort( os, node, Indenter{ indent } );
+/// Print a collection of items
+template< typename Coll >
+void printAll( std::ostream & os, const Coll & c, Indenter indent = {} ) {
+    for ( const auto & i : c ) {
+        if ( ! i ) continue;
+        
+        os << indent;
+        print( os, i, indent );
+        os << std::endl;
+    }
 }
 
Index: src/AST/porting.md
===================================================================
--- src/AST/porting.md	(revision 558d13be6924cb43bbc06465ce4a538d053f2d11)
+++ src/AST/porting.md	(revision 662572780e20a16122cc52e797041997d3dc3120)
@@ -299,4 +299,7 @@
 * `openVars` => `open`
 
+`ExplodedActual` => `ExplodedArg`
+* `ExplodedActual.h` => `ExplodedArg.hpp`
+
 [1] https://gcc.gnu.org/onlinedocs/gcc-9.1.0/gcc/Type-Attributes.html#Type-Attributes