typedef int nat_int,
           *pnat_int,
           **ppnat_int;