Black-box tests of the procedures/functions in the "Pascal" repository.