@jexp Checking ARG_FILE_STDIN is redundant, as it is a value passed to the ARG_FILE argument. Thus, checking ARG_FILE is enough. Admittely the name ARG_FILE_STDIN for a value to the argument ARG_FILE might not have been the best choice for a name. ARG_FILE_VALUE_STDIN seemed a bit long, but would be less prone to confusing.