module mod4 {

    prefix abc;

    namespace "urn:cesnet:mod4";

    typedef my {

        type decimal64 {

            fraction-digits 0; // bad value fraction-digits

        }

    }

}