<?php json_decode( string $json, ?bool $associative = null, int $depth = 512, int $flags = 0): mixed
<?php protected function regexp(): string { return '/(?:'.json_decode(file_get_contents(dirname(__FILE__).'/regexp.json')).')/u'; } }
