booted_dev_open
if (!booted_dev_open()) {
if (!booted_dev_open()) {
int booted_dev_open(void);
if (!booted_dev_open()) {
if (!booted_dev_open()) {
int booted_dev_open(void);
if (!booted_dev_open()) {
if (!booted_dev_open()) {
int booted_dev_open(void);