/* 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