| Alert: Test that non-existent annot fetch gives error | |
| Alert: SUCCESS: Document.getAnnot: Object no longer exists. | |
| Alert: Test initial cases | |
| Alert: annot: object | |
| Alert: hidden: true | |
| Alert: name: Annot-1 | |
| Alert: type: Highlight | |
| Alert: hidden now: true | |
| Alert: hidden now: false | |
| Alert: name now: nonesuch | |
| Alert: Test assigment to read-only property gives error | |
| Alert: SUCCESS: Annot.type: Cannot assign to readonly property. | |
| Alert: Test lookup after name change gives error | |
| Alert: SUCCESS: Document.getAnnot: Object no longer exists. | |
| Alert: Test lookup under changed name | |
| Alert: nonesuch after name change: object |