<?php //Exception%2523getFile

return [PHP_INT_MAX, []];