Constant-recursive_sequence loading ...