>>580
外部リンケージを持つ関数は
ODR使用の可能性が否定できないから
生成はされるのでは。