yywrap() { return(1); }