Function vaddr Copy item path

pub open spec fn vaddr(path: TreePath<CONST_NR_ENTRIES>) -> usize

{ rec_vaddr(path, 0) }