public class Trace {
public weak string filename ;
public int fd ;
public weak TraceEntry buf ;
public int bufsize ;
public int bufoffset ;
public Trace ( string filename,
int size ) ;
public void flush ( ) ;
public static void read_tsc ( int64 dst ) ;
public void set_default ( ) ;
public void text_flush ( ) ;
}

public Trace ( string filename,
int size ) ;
public weak string filename ;
public int fd ;
public weak TraceEntry buf ;
public int bufsize ;
public int bufoffset ;
public void flush ( ) ;
public static void read_tsc ( int64 dst ) ;
public void set_default ( ) ;
public void text_flush ( ) ;
Created by Valadoc