SHRDLU loading ...