In what follows,
stand for instruction arguments selected according
to probability distributions
, respectively. They are used to address state
components and module columns. For simplicity, instruction
descriptions below use the following macros: