# Redirect stderr to a file but still display it
((echo stdout);(echo stderr >&2) 2>&1 | (tee stderr.txt >&2))
