int BootOptions_tests();