#include <stdio.h>

int main(int count, char** args) {
   int i = 0, ret = 0, tuxLines = 40;

   char* tux[] = {
   "          .888888:.",
   "          88888.888.",
   "         .8888888888",
   "         8' `88' `888",
   "         8 8 88 8 888",
   "         8:.,::,.:888",
   "        .8`::::::'888",
   "        88  `::'  888",
   "       .88        `888.",
   "     .88'   .::.  .:8888.",
   "     888.'   :'    `'88:88.",
   "   .8888'    '        88:88",
   "  .8888'     .        88:888",
   "  `88888     :        8:888'",
   "   `.:.88    .       .::888'",
   "  .:::::88   `      .:::::::.",
   " .::::::.8         .:::::::::",
   " :::::::::..     .:::::::::'",
   "  `:::::::::88888:::::::'",
   "     rs`:::'       `:'"
   };
   
   while (i <= tuxLines) {
      printf(tux[i]);
      printf("\n");

      i++;
   }

   
   ret = printf("Tux Rocks!\n");

   return ret;
}