ATerm SSL_new() ;
ATerm SSL_newname(ATerm) ;
ATerm SSL_is_string(ATerm) ;
ATerm SSL_implode_string(ATerm) ;
ATerm SSL_explode_string(ATerm) ;
ATerm SSL_strcat(ATerm, ATerm) ;
ATerm SSL_concat_strings(ATerm) ;
ATerm SSL_strlen(ATerm) ;
