#!/bin/sh
echo "in ceq-test.fm" | maude1f tools.maude