It usually involves one or more loops of unsettled HTLCs that are represented internally as ecash which must be transferrable. When the htlcs time out, the ecash must burn. When the ecash is burnt, the HTLCs must settle. The deposit and withdrawal should be atomically linked.

I don't even care about untraceability at this point.

I'm just nerd-sniping brains.