bison xml ok