1const char* @symbol@(void)
2{
3  return "INFO:symbol[@symbol@]";
4}
5