Remove type-annotations.
Swap the left/right of an assignment.
void methods will return a value that is ignored (let's call it _).
void
_
e1() = t; e2(t) = _; e3(t) = u; e4(t, u) = v; return e5(u, v);