type int = bit<10>; func madd(a: int[1024 bank(32)], b: int, c: int[1024 bank(32)]) { for (let i = 0..31) { c{0}[i] := a{0}[i] + b; c{1}[i] := a{1}[i] + b; } }