rC: typeof tl = tl