minix3/lib/libminc/umoddi3.o