$head()$
$banner()$
$if(dumps)$ $dumps: { d | $logged_dump(dump=d)$ }$ $else$ No dumps! $endif$
$if(next)$
next ☞
$endif$ $if(prev)$
☜ prev
$endif$