#include <bits/wordsize.h>

#if __WORDSIZE == 32
#include "32/@@REPLACE@@"
#elif __WORDSIZE == 64
#include "64/@@REPLACE@@"
#else
#error "Unknown word size"
#endif
