A KSP plugin