Αποστολή με SMS: Optimal Interprocedural Program Optimization