<?php //Doctrine%255CCommon%255CCollections%255CReadableCollection%2523containsKey

return [PHP_INT_MAX, []];