package:
    annotation @A: @java.lang.annotation.Target(value={TYPE_USE})
        int value
    annotation @B: @java.lang.annotation.Target(value={TYPE_USE})
        int value
    annotation @C: @java.lang.annotation.Target(value={TYPE_USE})
        int value
    annotation @D: @java.lang.annotation.Target(value={TYPE_USE})
        int value

    class InnerClass:
        method m()V:
            local o: @A(1)
            new *0: @A(2)
            instanceof *0: @A(3)
            local s *0: @A(4)
            typecast *0: @A(5)
            new *2: @D(2)
            instanceof *1: @D(3)
            local s *1: @D(4)
            typecast *1: @D(5)

    class InnerClass$1Inner:
        method m()V:
            local o: @B(1)
            new *0: @B(2)
            instanceof *0: @B(3)
            local s *0: @B(4)
            typecast *0: @B(5)

    class InnerClass$1:
        method m()V:
            local o: @C(1)
            new *0: @C(2)
            instanceof *0: @C(3)
            local s *0: @C(4)
            typecast *0: @C(5)