Create get_int.h