pub opaque type PositiveInt
pub fn main() -> Int
pub fn new(i: Int) -> PositiveInt
pub fn to_int(i: PositiveInt) -> Int