auto keyword: type inference