int DumpVars(string file){
    return save_object(file, 1);
}