この例では、関数codice_1はcodice_17を呼び出す前に定義されているものとしている。