print header;
while ( <FILE> ) {
    # ... 
}