 This Pascal was extended to include a separate data and type compilation phase, known as the COMPOOL (Communications Pool).By enforcing this separate compilation phase, strict typing could be enforced across separate code compilation.This allowed type checking across procedure boundaries and across processor boundaries.