Example plugins for pitest