Command line: Jefferson/LinguaFranca/