clockid_name
const char *clockid_name(clockid_t clk_id);
desc = clockid_name(env->clock.clockid);
fprintf(fp, "# clockid: %s (%u)\n", clockid_name(clockid), clockid);
clockid_name(clockid));