More elaborate inlining.