可乐换空瓶的程序如下：
初始状态
假设你手头有若干个空瓶，记为 `Num`。
换可乐流程
每4个空瓶可以换1瓶可乐，记为 `Tot`。
当 `Num` 大于等于4时，可以进行以下操作：
喝掉3瓶可乐，得到3个空瓶，同时借1个空瓶凑足4个空瓶，再换1瓶可乐。
喝掉这1瓶新换的可乐，得到1个空瓶，还掉之前借的1个空瓶。
重复上述步骤，直到 `Num` 小于4。
具体步骤
初始化 `Num` 为当前空瓶数量。
进入 `while` 循环，条件是 `Num` 大于等于4。
在循环内，先喝掉3瓶可乐，`Num` 减2，`Tot` 加3。
循环结束后，`Num` 为剩余的空瓶数量，`Tot` 为总共喝掉的可乐数量。
示例
假设初始有13个空瓶：
13个空瓶可以换3瓶可乐，喝掉后剩余1个空瓶，借1个空瓶换1瓶可乐，喝掉后还掉借的空瓶。
此时剩余2个空瓶，无法继续兑换。
通过上述步骤，你可以计算出最终能喝到的可乐总数。这个方法利用了空瓶进行循环兑换，直到空瓶数量不足以再兑换为止。