Create int20.h