s3-registry: use push_reg_sz().