Constr(
    0,
    [
        Integer(
            1234,
        ),
    ],
)