(test
 (name test)
 (libraries prune alcotest))