(test
 (name test)
 (package mirage)
 (libraries mirage alcotest))
