Sure. And so it would in Pyret. It is just some sugar to make it more clear that this code belongs to a particular function. It can also be much more improved and coupled to the 'owner' function, but that's just a simple example of how to make a macro that emulates in part Pyret's inline tests.