Function tochar

plugins/prefetch/evaluate.cc:41–45

}

inline char
tochar(int8_t ch)
{
  return ch + '0';
}

constexpr StringView const  svzero{"0"};
constexpr char const *const digits = "0123456789";