#
#  PRE: update array
#

update request {
       Class := 0x01020304
       Class += 0x05060708
       Class += 0x090a0b0c
}


#
#  Use array references in the RHS
#  of the update section
#

update request {
       Proxy-State += &Class[0]
       Proxy-State += &Class[1]
       Proxy-State += &Class[2]
}

if (&Proxy-State != 0x01020304) {
	update reply {
		Filter-Id := "fail 0"
	}
}

#  Must be the same as above
if (&Proxy-State[0] != 0x01020304) {
	update reply {
		Filter-Id += "fail 0a"
	}
}

if (&Proxy-State[1] != 0x05060708) {
	update reply {
		Filter-Id += "fail 1"
	}
}

if (&Proxy-State[2] != 0x090a0b0c) {
	update reply {
		Filter-Id += "fail 2"
	}
}

# must not exist
if (&Proxy-State[3]) {
	update reply {
		Filter-Id += "fail 3"
	}
}

#
#  The test passes only if no test above
#  added a Filter-Id
#
if (!reply:Filter-Id) {
	update reply {
		Filter-Id := "filter"
	}
}