<?php return array(PHP_INT_MAX, []);
