arraycontract
tests
