private static string uniqueTrapTag() { _currentTrapNumber++; return String.Format("trap_{0}", _currentTrapNumber); }