pub type ProposalPtr = *mut Proposal;