Oops, de-hardcode max 8 byte inputs ... that's symbolic mode for HW.