fptools/libraries/parsec/examples/while
