<?php //ArrayAccess%2523offsetSet

return [PHP_INT_MAX, []];
