BOOT:c/execute BOOT:s/startup-sequence

