$head()$
$banner()$
$infobar$
$if(dumps)$
$dumps: { d | $log_dump(dump=d)$ }$
$else$
favless
$endif$
$if(prev)$
$else$
$endif$ $if(next)$
$else$
$endif$