Header comments in common.h