@simontatham Sightly code golfier .. but should do the same, since how #GNU #Bash processes blocks.#!/bin/bash{ echo "$@"#subroutine stuff ...exit $?}