Swap QBE to TLOS on Telos