def Tag.of.w2
import bend-kit-migrate@0.3.0.0/migrate.bend as Migrateimport Base
import bend-kit-bytes@0.3.3.0/bytes.bend as Bytes
213def Tag.of.w2(+len: U32, +n: U32, +w0: U32, +w1: U32, r: Array<U32> & U32) -> Bytes.Bytes & Tag:
214 (a, +w2) = r
215 Tag.of.w3(len, w0, w1, w2, Tag.word(U32.is_lt(3, n), a, 3))