%(size:Nat) @(pred:(Word size)) (Word (Nat.succ size))