Plugins for the terminator