Zaslať SMS: <A> Mathematical theory of global program optimization