/* u_1_13.c:    Undefined behaviors on undefined #include syntax or header-

        name.   */

/* u.1.13:  Excessive argument in #include directive.   */

#include    <assert.h>  Junk

main( void)

{

    return  0;

}