{
   $_ = <INFO>;
   return %Header unless defined $_ and !/^\037/;
   last if /^\* Menu:/;
   redo;
}

##</code><code>##

while (1) {
   $_ = <INFO>;
   return %Header unless defined $_ and !/^\037/;
   last if /^\* Menu:/;
}