Symbol: genheader