/* Fourth source file in relaxation test.  */

int xyzzy () { return 0; }