Create gmp16.h