Integer-valued_function loading ...