requires: {#Stream}. "This is a very temporary way to use error, until we define something better" _@(lobby) error: message [ ConsoleOutput ; '\n' ; message ; '\n'. Nil ]. body@(Method traits) ensure: effect "This is supposed to ensure that the second block is executed after the first, regardless of what errors or unwinding happen in the body block. Right now, it does nothing but run them in sequence." [ body value. effect value ].