[
    Puts(
        Chc(
            [
                Choice {
                    weight: None,
                    value: Cat(
                        [
                            Lit(
                                Num(
                                    55,
                                ),
                            ),
                        ],
                    ),
                },
            ],
        ),
    ),
]