Lexicographic_code loading ...