The SOL interpreter.