Header comments to print.c