static double argVal(vDescriptor[] args, int index) {
public static double argVal(vDescriptor[] args, int index) {
static double argVal(vDescriptor[] args, int index) {		// required arg    if (index >= args.length) {	iRuntime.error(102);	return 0.0;    } else {	return args[index].mkReal().value;    }}