#include <stdint.h>

extern int32_t sbc_main(void);

int main(void)
{
    sbc_main();
}