s3: use push_reg_multi_sz().