const char* mysub_(void)
{
  return "INFO:symbol[mysub_]";
}