Basically just a label now No more implicit returns (needs compiler tests) Many return points is the new idea Also setup is done before the enter by MessageSetup
seems to fit the layer much better as we really have a very reduced instruction set