<?php //Exception%2524file

return [PHP_INT_MAX, []];