/* colon.c, created from colon.def. */#line 22"./colon.def"#line 34"./colon.def"#line 43"./colon.def"#line 52"./colon.def"/* Return a successful result. */intcolon_builtin(ignore)char*ignore;{return(0);}/* Return an unsuccessful result. */intfalse_builtin(ignore)char*ignore;{return(1);}