<?php //ArrayAccess%2523offsetGet

return [PHP_INT_MAX, []];
