the programming language
1 2 3 4 5
val ensuring: p do: b := { res = b call: [val] p call: [val] res } call