dump


Description:

public void dump (string c_symbol_name, string file_name)