LIST  { < "./Array/array.inst" } 
LIST  { < "./Array/ground" } 

