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

        name.   */

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

#include    <assert.h>  Junk