I just spent a lot of time on a piece of awk code whose behavior I do not understand: if an array does NOT contain an element, why does trying to access this element creates