char *gettext(const char *s)
{
  return (char *)s;
}