rtob);with pointertob^ dobeginend;在with语句范围内，a和b指记录指针pointertob的子域，而不是记录b或指针类型a。通过在记录里包含一个指针类型域（c，参见nil和null），可以创建链表、栈和队列。与许多以指针为特性的语言不同，Pascal只允许指针引用匿名的动态创建的变量，不允许引用标准的静态或本地变量。另外，指针是类型绑定的，即字符指针与整数指针是类型不兼容的。该净效果是Pascal指针是“安全的”，远离其它指针实现固有的类型安全问题。