A declarative language FlexT for analysis and documenting of binary data formats