/* NB: must be zero */