structure Demo = DEMO(structure P6 = Prac6
                      structure Interp = 
                          INTERP( structure C = Prac6.Code
                                  structure D = ASSOCLIST(type Item = real type Key = string)));