static long argVal(vDescriptor[] args, int index) {
public static long argVal(vDescriptor[] args, int index) {
static long argVal(vDescriptor[] args, int index) {		// required arg    if (index >= args.length) {	iRuntime.error(101);	return 0;    } else {	return args[index].mkInteger().value;    }}