improved example #39808
export clause
now also redirection_example works