Function VECTOR-PUSH-EXTEND*
Function STRING-FROM-ARRAY Assuming ARRAY is an array of ASCII chars encoded as bytes return the corresponding string.