$head()$ $banner()$
Log
$dumps: { d | $logged_dump(dump=d)$ }$
MORE DUMPS