twelf/src/int-inf
