nat built-in containing some trivial definitions