public void InjectProcedureEntryInstructions(Address addr, Procedure proc)
{
var bb = new StatementInjector(proc, proc.EntryBlock.Succ[0], addr);
var sp = proc.Frame.EnsureRegister(program.Architecture.StackRegister);
bb.Assign(sp, proc.Frame.FramePointer);
program.Platform.InjectProcedureEntryStatements(proc, addr, bb);
}