else if(status != tokcount) { printf("Warning: used %d tok\n", status);}\r
extract_map((char const *)MAPSEGINLM, tok, tokcount, map);\r
\r
else if(status != tokcount) { printf("Warning: used %d tok\n", status);}\r
extract_map((char const *)MAPSEGINLM, tok, tokcount, map);\r
\r