<?php //Google%255CModel%2523__isset

return [PHP_INT_MAX, []];