checking in test file for SEAL_Array