extern {
    pub type ConstantInt;
}