/* Allowed flush values; see deflate() below for details */