That ends the short tutorial. For more details on the actual semantics and specs, refer to the PLAN Programmer's Guide [3].
