Puppet module for SEC (simple event correlator)