io.sarl.sre.internal.eventguard