#define MBED_analogin_init	1
#define MBED_analogin_read_u16	2
#define MBED_gpio_init	3
#define MBED_gpio_mode	4
#define MBED_gpio_dir	5
#define MBED_gpio_write	6
#define MBED_gpio_read	7
#define MBED_i2c_start	8
#define MBED_i2c_stop	9
#define MBED_i2c_init	10
#define MBED_i2c_read	11
#define MBED_i2c_write	12
#define MBED_i2c_byte_read	13
#define MBED_i2c_byte_write	14
#define MBED_pin_function	15
#define MBED_pin_mode	16
#define MBED_pwmout_free	17
#define MBED_pwmout_init	18
#define MBED_pwmout_pulsewidth_us	19
#define MBED_rtc_init	20
#define MBED_rtc_free	21
#define MBED_rtc_isenabled	22
#define MBED_rtc_read	23
#define MBED_rtc_write	24
#define MBED_serial_baud	25
#define MBED_serial_init	26
#define MBED_serial_readable	27
#define MBED_serial_getc	28
#define MBED_serial_putc	29
#define MBED_us_ticker_init	30
#define MBED_us_ticker_disable_interrupt	31
#define MBED_us_ticker_clear_interrupt	32
#define MBED_us_ticker_set_interrupt	33
#define MBED_us_ticker_read	34
#define MBED_SD_begin	35
#define MBED___enable_irq	36
#define MBED___disable_irq	37