*/ public function xmlSerialize(): mixed; }