public Map<AnnotationTypeElementDeclaration, AnnotationValue>
                                                        getElementValues() {
        Map<AnnotationTypeElementDeclaration, AnnotationValue> res =
            new LinkedHashMap<AnnotationTypeElementDeclaration,
                                                   AnnotationValue>(); // whew!
        for (Pair<MethodSymbol, Attribute> val : anno.values) {
            res.put(getElement(val.fst),
                    new AnnotationValueImpl(env, val.snd, this));
        }
        return res;
    }