/intinf.o
/libmgmp.so
IntInf.ui
IntInf.uo
