job2str
} job2str[] = {
for (i = 0; job2str[i].str; i++)
if ((how & SOLVER_JOBMASK) == job2str[i].job)
jobstr = job2str[i].str ? job2str[i].str : "unknown";
for (i = 0; job2str[i].str; i++)
if (!strcmp(pieces[0], job2str[i].str))
if (!job2str[i].str)
job = job2str[i].job;
for (i = 0; job2str[i].str; i++)
if (!strcmp(pieces[0], job2str[i].str))
if (!job2str[i].str)
job = job2str[i].job;