/**
 * Some experiments with special characters.
 */

#include <stdio.h>

int
main ()
{
  printf ("ab\050c\n");
  return 0;
} // main