i'm not sure about whether the Return/Throw should be serialized in the value, or should wrap the value.