dump


Description:

public void dump (void* to_stream)