> compile

# the value of F.x should be 16
> runBlock 16

# modify D.scala so that the linearization changes
$ copy-file changes/D.scala D.scala
$ sleep 1000

# F.x becomes 11
> compile

# if F is recompiled, the value of x should be 11, otherwise it will still be 16
# and this will fail
> runBlock 11