[#F8D3F57340694F52AC4E3834C0F910D73F0B0805]
Provided for compatibility, unused
using pointer = void const*;