Strongly_typed_programming_language loading ...