I've successfully tested a version that simply does K0++KL here (and T0++TL below).