第一个16位实现。一个全新的编译器由QUB的Welsh et al.在1977年完成。它提供了一个由Glasgow University的Findlay和Watt实现的源语言诊断特性（结合分析，跟踪和类型识别格式化事后转储）。该实现在1980年由南安普敦大学和Glasgow University的一个小组移植到ICL 2900系列。标准Pascal模式实现也基于该编译器，曼彻斯特大学的Welsh和Hay在1984年已将其改编，以严格检查与BSI 6192/ISO 7185标准的一致性，以及为可移植抽象机