int3/doppio — pull request #74 by jvilk (2012-11-13 06:45:28+00:00)
Title: Changed switch to use numbers rather than strings.

I saw your comment after I had already gone ahead and done this for you. Feel free to delay changing if you wish to see the performance of string switching.