Kirby–Siebenmann invariant