void superxt_init();