We don't normally use auto.