This probably shouldn't be in the interactiveshell module - it's already more than big enough.