// The profiler tells us not to use
// str_ = '#' + convert<docstring>(n);
// so we do the conversion of n to ASCII manually.
// The profiler tells us not to use
// str_ = '#' + convert<docstring>(n);
// so we do the conversion of n to ASCII manually.