#include "rt.h"

void init_rt() {
// TODO Choice OS
#ifndef __SMCC_NO_OS_STD__
    #include "std/rt_std.h"
    init_rt_std();
#endif
    return;
}