%(size:Nat) @(value:(Word size)) @(n:Nat) (Word size)