Code fragments to be inserted into templates The control flow graph is considered structured if loops and branches are nested or arranged in a sequence so that for every loop and branch node there is corresponding end node so that each control flow path through a given loop or branch has to traverse the corresponding endLoop or endBranch node. This excludes early returns, alternative entries, ... Substitute given variable for dummy argument at given position in inlinable subroutine. Is 0 or 1 the first position? Take the body of *subroutine_name and substitute given arguments for the corresponding dummy arguments