Use raw mutable void pointers for now