ragel output