arrays: safer to make bitvector unsigned integer
strings: unnecessary string_length counting pass