(define utf8-1
  (satisfies (lambda (c) (or (< (char->integer c) 128)
                        (and (> (char->integer c) 128)
                             (< (char->integer c) 191))))))