Are we going to implement inline expansion? I don't think this is an easy task, but IR allows to do it, at least for simple cases. Inline expansion can improve performance significantly. Having inlining B can become "better-assembly", really useful and practical language (IMO).