#define nvalue(x) 0
#define ttypenv(x) ttnov(x)
