sync with 2014-Nov-23
First round of definitions for _ZZ