After 2.5.8, we can support the construction of Pascal programs. For related issues, see: #388
More examples: Pascal examples