void Init_ext(void) { }