compose: ../src/QCheck reverse from-to-moscow %PROGRAM
reverse: ../src/QCheck
from-to-moscow: from-to-str ../src/basis-moscow
from-to-str: ../src/QCheck ../src/GenInt ../src/basis-moscow