Extended_Gauss_code loading ...