Iterated_logarithm loading ...