#include <cstdint>

extern "C" {

void
plat_midi_play_msg(uint8_t *msg)
{
    //
}

void
plat_midi_play_sysex(uint8_t *sysex, unsigned int len)
{
    //
}

void
plat_midi_input_init(void)
{
    //
}

void
plat_midi_input_close(void)
{
    //
}

int
plat_midi_write(uint8_t val)
{
    return 0;
}

void
plat_midi_init()
{
    //
}

void
plat_midi_close()
{
    //
}

int
plat_midi_get_num_devs()
{
    return 0;
}

int
plat_midi_in_get_num_devs(void)
{
    return 0;
}

void
plat_midi_get_dev_name(int num, char *s)
{
    s[0] = ' ';
    s[1] = 0;
}

void
plat_midi_in_get_dev_name(int num, char *s)
{
    s[0] = ' ';
    s[1] = 0;
}
}
