, "copy", "lengthT", "null", "hwxor", "hwand", "hwor"
, "hwnot", "not", "+", "*", "-", "fromSizedWord"
, "resizeWord", "resizeInt", "fst", "snd", "blockRAM"
, "copy", "lengthT", "null", "hwxor", "hwand", "hwor"
, "hwnot", "not", "+", "*", "-", "fromSizedWord"
, "resizeWord", "resizeInt", "fst", "snd", "blockRAM"