Why have `( listcounter;` when it's not being touched?