simplified slice buffer management for multiply-accumulates
allocate signed 48-bit register sub-string access for x86_64
experimental/risky security checks disabled for speed
if (e == 0b0001) don't force to zero; only warn