Edit: libdivide.h