#include "xrbx/xrbx.h"

int main() {
    helloWorld();
    return 0;
}