#define ULONG_MAX 4294967295
#include <arch-generic/div64.h>