Seed7 (0)