Fix wrong ARC4 test