#include /* Now define the internal interfaces. */ /* Write current profiling data to file. */ extern void __write_profiling __P ((void)); extern void write_profiling __P ((void));