(define (gen-awful-hash-table)
  (gen-hash-table-of-verbose (gen-awful-key) (gen-procedure)))

(define (gen-awful-key)
  (let ((gen-string  (gen-string-of (gen-char char-set:letter+digit))))
     (gen-tuple-of gen-string gen-string (gen-symbol))))

(define-syntax make-procedure-generator
  (ir-macro-transformer
   (lambda (exp inj cmp)
     (let ((arity (cadr exp)))
       `(generator
         (lambda (,@(list-tabulate arity (constantly '_)))
           #f))))))

(define (gen-procedure)
  (case (<- (gen-fixnum 0 10))
    ((0) (make-procedure-generator 0))
    ((1) (make-procedure-generator 1))
    ((2) (make-procedure-generator 2))
    ((3) (make-procedure-generator 3))
    ((4) (make-procedure-generator 4))
    ((5) (make-procedure-generator 5))
    ((6) (make-procedure-generator 6))
    ((7) (make-procedure-generator 7))
    ((8) (make-procedure-generator 8))
    ((9)  (make-procedure-generator 9))
    ((10) (make-procedure-generator 10))))

(let ((samples 500))
  (with-size (range 0 10)
             ;; (test-property "construct" samples (gen-pair-of (gen-scheme-value 4) (gen-scheme-value 4)) prop-insert)
             ;; (test-property "retrieve values" samples (gen-hash-table-for-test) prop-retrieve-value)
             ;; (test-property "retrieve values with defaults" samples (gen-hash-table-for-test) prop-retrieve-value/default)
             (test-property "awful construct" samples (gen-pair-of (gen-awful-key) (gen-procedure)) prop-insert)
             (test-property "awful retrieve values" samples (gen-awful-hash-table) prop-retrieve-value)
             (test-property "awful retrieve values with default" samples (gen-awful-hash-table) prop-retrieve-value/default)))