<?php //Doctrine%255CCommon%255CCollections%255CCollection%2523get

return [PHP_INT_MAX, []];