Universal Binary Format 2.0 and Augmented Backus-Naur Form