If more than one GC is instantiated
during the run (as in the Flash Player) you may get multiple dumps at
the end; they will be printed in some order but there's no
identification of each GC.


</body>
</html>
