<?php //Closure

return [PHP_INT_MAX, []];