z3fold.c revision 63398413
1