/* mpn_divexact_by3c - from x86/fat directory for fat binary.
   Generated by configure - DO NOT EDIT. */

#define OPERATION_diveby3 1
#define __gmpn_divexact_by3c           __gmpn_divexact_by3c_fat
#define __gmpn_divexact_by3cc          __gmpn_divexact_by3cc_fat
#define __gmpn_preinv_divexact_by3c  __gmpn_preinv_divexact_by3c_fat

#include ".././mpn/x86/fat/diveby3.c"

