`auto`? Can we rely on that giving us the value we want each time?