some changes to Ragel format