Integer_sequence loading ...