XFIXNUMFWD       1306 src/data.c           return make_int (*XFIXNUMFWD (valcontents)->intvar);
XFIXNUMFWD       1403 src/data.c     	*XFIXNUMFWD (valcontents)->intvar = i;