Delete rhs-array.h