LucasSte wrote: > Relatedly, we need to treat the set of available functions as a dynamic program property which is what I've been working towards. Does this mean programs will decide which library functions are available to them? https://github.com/llvm/llvm-project/pull/169537