../mithril/ospec/bin/ospec