(TXT) Leaky abstractions at hot spots