Symbol: checkgen