Implementation: array access upcalls