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

        name.   */

/* u.1.12:  Argument of #include other than header-name.    */

#include    filename