Currently values are handled as void pointers; having more type safety may help catch bugs.
Currently values are handled as void pointers; having more type safety may help catch bugs.