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