Pointer Assignment Error Checking

The error checking involved by the semantics of the => operator is not fully supported. If your program causes an illegal pointer assignment, Prism might not issue any error, and the behavior of the program will be undefined.