#include "kaos.hh"

extern int nat;

udatum n0 ();
udatum n1 ();
udatum n2 ();
udatum n3 ();
udatum n4 ();
udatum n5 ();
udatum n6 ();
udatum n7 ();
udatum n8 ();
udatum n9 ();
udatum infinite();
udatum plus ();
kdatum lt ();

int eqnat ();
char* dnat ();
