void init_invalidnumber(void);