void Init_ext() { }