void GoToDefinition(char *name);
void EditFile(char *name, int line);