(record/ffemu) Turn opaque pointers into void *