'; } +function bare_head(): void +{ + echo ''; +} + function page_foot(): void { echo '