pub fn good_string(a: &[u32]) -> bool
Check whether all elements in a slice are valid SMT characters
Return true if all integers in a are less than or equal to MAX_CHAR.
a