Header comments in scanner.h