<?php //Traversable

return [PHP_INT_MAX, []];
