tweaks in ECC and Decode; made an ECC for the array-based enc-dec pair: subsequent testing indicates bugs!