| ERROR | [XPST0080] Invalid target type |
| CAUSE | It is a static error if the target type of a cast or castable expression is xs: NOTATION or xs: anyAtomicType. |
| ACTION | None |
| ERROR | [XPST0080] Invalid target type |
| CAUSE | It is a static error if the target type of a cast or castable expression is xs: NOTATION or xs: anyAtomicType. |
| ACTION | None |