仮にこれが認められず、cのように戻り値の型もcodice_6の関数内では、式を省略したreturn文しか許されないとすると、もとのcodice_11に対して次のような特殊化を用意しなければならない。