token = split(token, srcfile, ':');
token = split(token, line, ':');
token = split(token, pos, ':');
token = split(token, warno, ':');
token = split(token, warning, ':');
token = split(token, srcfile, ':');
token = split(token, line, ':');
token = split(token, pos, ':');
token = split(token, warno, ':');
token = split(token, warning, ':');