xlate_state
new_state = xlate_state(
old_state = xlate_state(status);
static char *xlate_state(int32_t);