(test
 (name test)
 (libraries vhs alcotest))
