X_MAXKERNEL_SIZE
printf("max kernelsize = %ld\n", NLVAR(X_MAXKERNEL_SIZE));
if (destlen > NLVAR(X_MAXKERNEL_SIZE))