of course stdin can be supplied too. synonyms for ‘stdin’ include ‘0’ and
the other stdio streams have similar shortcuts