> > That's the alternate tree dumper, which is the one I remember. If > somebody here proposed a > different RTL dumper it wasn't recent. > > new-ra has one in the syntax suggested already :)