Borel_function loading ...