Header comments in print.h