slogan             69 user/testbin/badcall/bad_lseek.c 	const char slogan[] = "There ain't no such thing as a free lunch";
slogan             70 user/testbin/badcall/bad_lseek.c 	size_t len = strlen(slogan);
slogan            125 user/testbin/badcall/bad_lseek.c 	rv = write(STDIN_FILENO, slogan, len);