(Oh, doesn't matter: I see it's a hold-over from the old days where `~[0, .. 32]` would construct a `~[int]`, not a `~([int, .. 32])`.)