Αποστολή με SMS: Algebraic semantics of imperative programs