#include "dat.h" int segflush(void *a, ulong n) { USED(a); USED(n); return 0; }