Sophie
var namespaces = [ [ "libebook", "namespacelibebook.html", "namespacelibebook" ], [ "std", "namespacestd.html", null ] ];