Module {
    source_file: Some(
        "MANIFEST_PATH/corpus/annotation_single_integer.sdm",
    ),
    file_id: Some(
        0,
    ),
    span: Some(
        Span {
            start: 0,
            end: 75,
        },
    ),
    name: Identifier {
        span: Some(
            Span {
                start: 39,
                end: 47,
            },
        ),
        value: "Campaign",
    },
    base_uri: Some(
        HeaderValue {
            span: None,
            value: Url {
                scheme: "http",
                cannot_be_a_base: false,
                username: "",
                password: None,
                host: Some(
                    Domain(
                        "example.org",
                    ),
                ),
                port: None,
                path: "MANIFEST_PATH/corpus/annotation_single_integer.sdm/",
                query: None,
                fragment: None,
            },
        },
    ),
    version_info: None,
    version_uri: None,
    body: ModuleBody {
        span: Some(
            Span {
                start: 48,
                end: 74,
            },
        ),
        file_id: None,
        is_library: false,
        imports: [],
        annotations: [
            Property(
                AnnotationProperty {
                    span: Some(
                        Span {
                            start: 54,
                            end: 69,
                        },
                    ),
                    name_reference: QualifiedIdentifier(
                        QualifiedIdentifier {
                            span: Some(
                                Span {
                                    start: 55,
                                    end: 65,
                                },
                            ),
                            module: Identifier {
                                span: Some(
                                    Span {
                                        start: 55,
                                        end: 57,
                                    },
                                ),
                                value: "dc",
                            },
                            member: Identifier {
                                span: Some(
                                    Span {
                                        start: 58,
                                        end: 65,
                                    },
                                ),
                                value: "version",
                            },
                        },
                    ),
                    value: Simple(
                        Integer(
                            2,
                        ),
                    ),
                },
            ),
        ],
        definitions: [],
    },
}
