#include <stdint.h>

extern int32_t sbc__main(void);

int main(void)
{
    sbc__main();
}