/* NB: lots of code assumes false is zero */