11 void config_init__(void);

    11 void config_init__(void);

    12 

    12 

    13 /*

    13 /*

    14  * Prototypes of functions provided by generated target C code

    14  * Prototypes of functions provided by generated target C code

    15  * */

    15  * */

    16 void __init_debug(void);

    17 void __init_debug(void);

    17 void __cleanup_debug(void);

    18 void __cleanup_debug(void);

    18 /*void __retrieve_debug(void);*/

    19 /*void __retrieve_debug(void);*/

    19 void __publish_debug(void);

    20 void __publish_debug(void);

    20 

    21