SET_ARR_HDR's last argument is now a number of bytes, rather than words