tipe: retain order of writes when reading