__udivdi3
u_quad_t __udivdi3(u_quad_t a, u_quad_t b);
extern uint64_t __udivdi3(uint64_t a, uint64_t b);