cset_size(a) = 0
cset_size(b) = 128
strlen(s) = 0
strlen(s2) = 1
s2 = '$'