romident: print a summary at the end, instead of garbage.
Lua overhaul [Olivier Galibert, Miodrag Milanovic]