<?php //App%255CDto%255CRequest%255COctDto%2523getTerminal

return [PHP_INT_MAX, []];