Nicer to not use `pushSerializeAndPop()` here, because you want to write just a single element.