pub exec fn is_valid_ia5_string(bytes: &[u8]) -> res : bool
res == is_valid_ia5_string_spec(bytes.deep_view()),