CIMPLICITY Safe Array Object Model