63     fputs(msg, stderr);  in error()
75 	fputs("No $SDI signature in file\n", stdout);  in boot_sdi()
80 	fputs("Warning: unknown SDI version: ", stdout);  in boot_sdi()
95 	fputs("No BOOT BLOB in image\n", stdout);  in boot_sdi()
99 	fputs("BOOT BLOB is empty\n", stdout);  in boot_sdi()
103 	fputs("BOOT BLOB extends beyond file\n", stdout);  in boot_sdi()
108 	fputs("BOOT BLOB too large for memory\n", stdout);  in boot_sdi()
119 	fputs("Image too large for memory\n", stdout);  in boot_sdi()
133     fputs("Booting...\n", stdout);  in boot_sdi()
168     fputs("Loading ", stdout);  in main()
169     fputs(argv[1], stdout);  in main()
170     fputs("... ", stdout);  in main()
175     fputs("ok\n", stdout);  in main()