PrintVariable (var)
     char *var;
{
  printf ("%s", var);
}