Higher-order_function loading ...