my $menu;
$_ = <INFO> until !defined($_) || ($menu = /^\* Menu:/) || /^\037/;
return %header unless $menu;