text_roundtrip(sample(42), ' ', 32, read, iso_text_input).
binary_roundtrip(65, 65, -1).
read_term_metadata(ok).
default_streams(ok).
io_marker
standard_write(ok).
numeric_escape_term_input(ok).
malformed_quoted_term_input(ok).