Put this at the top of xtext.c not here.