void i430hx_init();