module checkTypesAndValuesModuleImportsLibcommonBad {
    import from LibWhatever {
        type all except LibCommon;
    };
    
    
    type record MyRecordType {
        integer field1 optional,
        charstring field2,
        boolean field3
    }

    type integer myInt;
    
    const myInt myIntValue:= 2;
}

module a {
}