<?php //Closure%2523call

return [PHP_INT_MAX, []];