Universal Binary Format 2.2 and Augmented Backus-Naur Form