# corpus: pin
# order: 150
# bin: wai_pin_vectors
# dir: ../pin-conformance
# gen: generate