#define ixbase 16000
#define X1 ixbase
#define X2 (2*ixbase)
#define X3 (3*ixbase)

#define Xn(n) ((n)*ixbase)
#define ixval(n) ((n) / ixbase)
#define baseval(n) ((n) % ixbase)