Synopsis

using pointer = void const*;