[exim] ${extract {a} {a=v1 a=v2}}

Suppose a key occurs more than once in string. Can I count on the
extract operator pulling out the first (leftmost) value? That's what
I've been getting in my experiments, but the spec doesn't say it
explicitly. I just want to know if it's an accident of implementation
or if it could conceivably change in the future.