Simplify EventID encoding.