[
    {
        "kind": 0,
        "message": "Positive integer literal expected.",
        "start": 131,
        "length": 1
    }
]