I don't have a problem with it being removed (though this is Mike's call). I looked at it a bit for arm's enum implementation... https://gitweb.torproject.org/arm.git/blob/HEAD:/src/util/enum.py but that's about it. -Damian