<?php //getProperties.a%253A2%253A%257Bi%253A0%253Bs%253A9%253A%2522Exception%2522%253Bi%253A1%253Ba%253A0%253A%257B%257D%257D

return [PHP_INT_MAX, [
    'message',
    'code',
    'file',
    'line',
    'trace',
    'previous',
    'traceAsString',
]];
