[TUHS] 2^n-bit operands (Was reviving a bit of WWB)