Command-Line Interface for ARX