extra assert in wnat_add