<?php //Throwable%2523getCode

return [PHP_INT_MAX, []];