Runtime: SRV6KRIRK