ISOBMFF has the following text:
When IPMP is used outside of MPEG-4 systems, then a ‘global’ IPMPControlBox may also occur within the MovieBox
As well as:
IPMPControlBox IPMP_control; // optional
while IPMPControlBox is clause 8.12.5 was deprecated. Should it be cleaned up?