static long argVal(vDescriptor[] args, int index, int dflt)
static long argVal(vDescriptor[] args, int index)
static long argVal(vDescriptor[] args, int index, int dflt)	// optional arg{    if (index >= args.length || args[index] instanceof vNull) {	return dflt;    } else {	return args[index].mkInteger().value;    }}