prog: fold_And16