Function is_valid_printable_string 

pub exec fn is_valid_printable_string(bytes: &[u8]) -> res : bool

ensures

res == is_valid_printable_string_spec(bytes.deep_view()),