Currently, all pointers are `void*`. The work done for #30 can be extended to recovery of their element types.
Currently, all pointers are
void*. The work done for #30 can be extended to recovery of their element types.