struct GlobalDescriptor {
    mutable: bool,
    ty: Type,
}