Ancient history code from my MuonHLT/TPG days.