One of the benchmarks I'm compiling as part of my unit test suite is a piece of Tachyon code that deals with the Foreign Function Interface (FFI). There's this function called initFFI that serves to register C functions into Tachyon so that they can be used by our compiler. My conclusion is probably that I need for Tachyon to initially compile code into a form that's less expanded, with as little inlining as possible.