Generating doctest driver