You don't need to include builtin modules. And anyway, this function doesn't have a doctest yet.