fun fn-y (t1 t2 va-ctx) {
	| i |
	i := 0
	while (< i (va-count va-ctx)) {
		printf "fn-y=>Y-VA[%d]=>[%d]\n" i (va-get i va-ctx)
		i := (+ i 1)
	}
}

fun x(a b ... :: x y z) {
	|i|

	x := (va-count)
	y := (* a b)
	z := (+ a b)

	i := 0;
	while (< i (va-count)) {
		printf "VA[%d]=>[%d]\n" i (va-get i)
		i := (+ i 1)
	}
	fn-y "hello" "world" (va-context)

	return;
}

t := (x 10 20 30);
if (~= t 1) {
	printf "ERROR: t is not 1\n"
} else {
	printf "OK: %d\n" t
}

t := ([a b c] := (x 10 20 30 40 50));
if (~= t 3) {
	printf "ERROR: t is not 3\n"
} else {
	printf "OK: %d\n" t
}

if (~= a 3) {
	printf "ERROR: a is not 3\n"
} else {
	printf "OK: %d\n" a
}

if (~= b 200) {
	printf "ERROR: b is not 200\n"
} else {
	printf "OK: %d\n" b
}
if (~= c 30) {
	printf "ERROR: c is not 30\n"
} else {
	printf "OK: %d\n" c
}