The boot binary is loaded in 2 parts. The first part, "decla- rations", are loaded after xcomp, before xcomp overrides, with "282 LOAD". The rest, after xcomp overrides, with "283 335 LOADR".