    /*
        generated output:
    */
