3.1.5.1 Mapping to Binary Format