// C++ wrapper used for programs that don't require a main function

#define main jutge__replaced__main

{original}

#undef main

// START MAIN **************************

{main}

// END MAIN ****************************


// START STUB **************************

{stub}

// END STUB ****************************