module checkFunctionsModuleContainmentBad {
    import from LibCommon_time all;

    // good part, only functions and altsteps

    function f_1 () {
    }

    altstep a_1 () {
    }

    //bad part

    type record typeA {
        integer field1,
        boolean feild2
    }

    group GroupedDefs {
        function f_2 () {
        }
        altstep a_2 () {
        }
        const integer c_1 := 1;
    }

    //configurable part
    //depending on the configuration external functions 
    //may (default) or may not be allowed 

    external function ef_1 ();

}