@(size:Nat) (Word size)