let
png () = nng () + 1