pub type N1000000000000000 = NInt<U1000000000000000>;
struct N1000000000000000 { /* private fields */ }