Constr(
    1,
    [
        Constr(
            0,
            [],
        ),
    ],
)