@make(report) 
@style(leftmargin=1.5)
@style(spacing=1) 
@pageheading{even,center "@c[D R A F T]", left "@c[@value(page)]", right "Athena TM 4"}
@pageheading{odd,center "@c[D R A F T]", right "@c[@value(page)]", left "Athena TM 4"}
@pagefooting{center @value(date)}
@include(title)
@include(general_description)
@include(implementation)
@include(system_calls)