(test
 (name stdint_test)
 (libraries str stdint qcheck))
