Swap TLOS to GIRL on Telos