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