Programs in Yao: Nanding