[
    {
        "type": "Punctuator",
        "value": "{"
    },
    {
        "type": "Punctuator",
        "value": "}"
    },
    {
        "type": "Punctuator",
        "value": "/"
    },
    {
        "type": "Numeric",
        "value": "42"
    }
]