<?php //ApiPlatform%255COpenApi%255COpenApi%2523withExtensionProperty

return [PHP_INT_MAX, []];