Seed7 loading ...