added document_builtins utility