Veblen_function loading ...