> SYSTEM_BOOT_SEQUENCE_INIT