cuddle-1.1.0.0: example/cddl-files/validator/negative/args-to-postlude.cddl

x = uint<3>