src/Pure/General/bytes.scala

     using(new FileOutputStream(file, true))(bytes.write_stream(_))
 
   def append(path: Path, bytes: Bytes): Unit = append(path.file, bytes)
 
 
-  /* vector of unsigned integers */
+  /* vector of short unsigned integers */
 
   trait Vec {
     def size: Long
-    def apply(i: Long): Int
+    def apply(i: Long): Char
   }
 
   class Vec_String(string: String) extends Vec {
     override def size: Long = string.length.toLong
-    override def apply(i: Long): Int =
-      if (0 <= i && i < size) string(i.toInt).toInt
+    override def apply(i: Long): Char =
+      if (0 <= i && i < size) string(i.toInt)
       else throw new IndexOutOfBoundsException
   }
 }
 
 final class Bytes private(

 
   /* Vec operations */
 
   def size: Long = length.toLong
 
-  def apply(i: Long): Int =
-    if (0 <= i && i < size) bytes((offset + i).toInt).asInstanceOf[Int] & 0xFF
+  def apply(i: Long): Char =
+    if (0 <= i && i < size) (bytes((offset + i).toInt).asInstanceOf[Int] & 0xFF).asInstanceOf[Char]
     else throw new IndexOutOfBoundsException
 
 
   /* slice */