Based on that link it looks to me like `auto` may be a better choice after all.