def body_names(self): start_addr = ctypes.addressof(self.names.contents) return [ctypes.string_at(start_addr + int(inc)).decode("utf-8") for inc in self.name_bodyadr.flatten()]