<?php //ArrayAccess%2523offsetExists

return [PHP_INT_MAX, []];
