Email Record: Optimal interprocedural program optimization :