handle_to_z3fold_header 1003 mm/z3fold.c    	zhdr = handle_to_z3fold_header(handle);
handle_to_z3fold_header 1267 mm/z3fold.c    	zhdr = handle_to_z3fold_header(handle);
handle_to_z3fold_header 1312 mm/z3fold.c    	zhdr = handle_to_z3fold_header(handle);