bugfix: NATIVE_ARRAY.slice_copy
slight improvement
potential bugfix -- aliased string
one more (obvious) assert
obvious postcondition
xml fixes