sS singleDigitBytesToString(ByteBuffer l) {
  if (l == null) null;
  int n = l.size();
  char[] data = new char[n];
  for i to n:
    data[i] = (char) ('0' + ubyteToInt(l.get(i)) % 10);
  ret str(data);
}