Hi, Could the following procure from tests/kinds/octal.scm in disarchive ... (define (char-set->arbitrary cs) (arbitrary (gen (choose-char cs)) (xform (lambda (chr gen) (generator-variant (char->integer chr) gen))))) ... be moved to guile-quickcheck? (quickcheck arbitrary) I find that procedure useful for testing some parser code. For now, I've simply copied the code. Greetings, Maxime