<?php //Exception%2523getCode

return [PHP_INT_MAX, []];