genspect::read_from_shared_string —
aterm read_from_shared_string(const std::string & s, unsigned int size);
Read a aterm from a string in taf format. This function decodes a taf character string into an aterm.