Update xenlab.c