We really need to fix this to be `void*`, by the way.