firmex/test/test_firmex.ml