#include <cassert>
#include <iostream>
#include <type_traits>
#include <vector>

using Pointer = int*;
template<class T> using Sequence = std::vector<T>;

int main() {
    int value = 1;
    const Pointer pointer = &value;
    static_assert(std::is_same<decltype(pointer), int* const>::value, "const pointer");
    *pointer = 8;
    Sequence<int> values{value, 2};
    assert(value == 8);
    assert(values.size() == 2);
    std::cout << values[0] << ' ' << values.size() << '\n';
}