...
    { return do{ thatroutine() or last } }
    ...