#ifndef MSDOS_EX_H
#define MSDOS_EX_H

/* external API for debugging purposes */

const char *msdos_describe_selector(unsigned short sel);

#endif