gras: use new PMC serialization API