gx language specification