Create xenlib.c