Use a Java IntBuffer rather than CharBuffer.  (Ceylon Character is a 32bit type)