Rewriting Pascal