(test (name test_rnt) (libraries rnt alcotest))