Finish the thunk implementation, thereby implementing the go statement