ATerm SSL_write_term_to_stream_baf(ATerm, ATerm);
ATerm SSL_write_term_to_stream_taf(ATerm, ATerm);
ATerm SSL_write_term_to_stream_text(ATerm, ATerm);
ATerm SSL_read_term_from_stream(ATerm);
ATerm SSL_read_term_from_string(ATerm);
ATerm SSL_write_term_to_string(ATerm);
ATerm SSL_write_term_to_binary_string(ATerm);
ATerm SSL_write_term_to_shared_string(ATerm);
