#include <stdint.h>

uint32_t current_drive;