double("foo") 'foofoo' >>> double(None) Traceback (most recent call last): File "<stdin>", line 1, in <module> File "<stdin>", line 2, in double TypeError: unsupported operand type(s) for *: 'NoneType' and 'int' """ return value * 2 A REPL session "embedded" in a function's doc string