/prog/
../
euclideanAlgorithm.doml
simpleWhileLoop.doml