Section 15.3, in slicer(), array 'a' has wrong syntax, should be: integer[10] a = 1..10;
function to_real_vec(integer[] x) returns real[] {
real[*] rvec = x;
return rvec;
}
function slicer() returns real[*] {
integer a[10] = 1..10;
var vector two_halves = to_real_vec(a[1..5]);
two_halves.append(to_real_vec(a[6..]));
return two_halves;
}