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