pub exec fn is_valid_utf8(bytes: &[u8]) -> res : bool
res == vstd::utf8::valid_utf8(bytes.deep_view()),