<?php //__DH_ANNOTATIONS__

return [PHP_INT_MAX, []];