On Nov 23, 2010, at 2:43 PM, Ben Pfaff wrote: > +/* For client programs to call directly to enable dummy support. */ > +void dummy_enable(void); > + > +/* Implementationd details. */ "Implementation". Otherwise, looks good. --Justin