Specker_sequence loading ...