A language for the description of structured binary data