import get_doc in standard.py