<SYSTEM_TASK:>
Solve the following problem using Python, implementing the functions described below, one line at a time
<END_TASK>
<USER_TASK:>
Description:
 def examples_section(doc, header_level):
 """ Generate markdown for Examples section. Parameters doc : dict Dict from numpydoc header_level : int Number of `#`s to use for header Returns ------- list of str Markdown for examples section """

    lines = []
    if "Examples" in doc and len(doc["Examples"]) > 0:
        lines.append(f"{'#'*(header_level+1)} Examples \n")
        egs = "\n".join(doc["Examples"])
        lines += mangle_examples(doc["Examples"])
    return lines