Implementing pascal