stubs of xi.[ch]