Chris Lattner wrote: > In practice, the size of a small vector is pretty arbitrary. Would it > be fine to just fix it to 16 or something like that? I'm sure you have more experience there than me. Sebastian