codice_5は、codice_6の引数codice_7に標準入力codice_8を指定した場合、すなわちcodice_9と等価である。