<?php //Exception%2524previous

return [PHP_INT_MAX, []];
