new object $symbol: $libraries;

var $root created_on = 811822782;
var $root flags = ['methods, 'code, 'variables, 'core];
var $root inited = 1;
var $root managed = [$symbol];
var $root manager = $symbol;

public method .to_string() {
    arg sym;
    
    return tostr(sym);
};