int before;
#lang "diff"
y' = omega;
#lang "alg"
f = x + y;
#endlang
z' = y;
#endlang
int after;