val size : unit -> int