On Friday, May 1, 2026, Thiago Macieira wrote:

Because we *ARE* talking about cross-DLL/shared library calls. Intra-library
ones can't be intercepted because they may have resolved using PC-relative
addressing and wouldn't go through an interceptable point (the PLT or GOT).

Yeah I'm pretty much just suggesting this for target functions that reside in DLL files and SO files.

Doesn't really makes sense for functions inside the process's main executable file, because as Jonathan already demonstrated, a template lambda works fine for that.

The Standard doesn't necessarily have to describe DLL's or SO's in order to provide interceptor functions . . . in fact it could just talk about a separately compiled translation unit. And a library is essentially just a few separate translation units squished into one file (actually that's exactly what a '.a' file is on Linux, you can rip the object files out with 'ar -x').

I emailed Lorand earlier today hoping she'd chime back in with how she'd use this with Haskell.