Guido van Rossum, Alex Martelli