"than for user-defined types, with auto x = 1; x is an int, how do I" . . . .