pub type PropositionsPtr = *mut Propositions;