(test
 (name test_lithos)
 (libraries lithos alcotest))