[Python-Dev] A question about pattern matching