$head()$
$banner()$
$if(next)$
<- OLD DUMPS
$endif$ $if(prev)$
NEW DUMPS ->
$endif$
$if(dumps)$ $dumps: { d | $logged_dump(dump=d)$ }$ $else$ No dumps! $endif$
$if(next)$
<- OLD DUMPS
$endif$ $if(prev)$
NEW DUMPS ->
$endif$