Node:TODO, Previous:Source Annotations, Up:Annotations

### Annotations We Might Want in the Future

        - target-invalid
          the target might have changed (registers, heap contents, or
          execution status).  For performance, we might eventually want
          to hit `registers-invalid' and `all-registers-invalid' with
          greater precision

        - systematic annotation for set/show parameters (including
          invalidation notices).

        - similarly, `info' returns a list of candidates for invalidation
          notices.