initial language specification for flex