Purely_functional_language loading ...