flip.map: set explicit coin_hs (which is "0 0" anyway)