New function ggtags-process-string and use it