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