Symbol: saved_cmdlines_next