renamed print_prog to print_header