Did a thingy with CLIFrontend; it's still useless though.