import "repbuild/hblib/std" as std;

fn main(){
    std::Info("Trying to open a file.");
    // let ret = std::open("/file.hbf");
    // std::Info("File return " + ret);
    
    std::ipc_make_bound_buffer(1000);

    let str = data::str("ABC XYZ");
    std::ipc_send(2, str, str.len);

    std::ipc_recv(2);
    li8(r1, 0x7);
    li8(r2, 0);
    li64(r3, 128821000);

    let start = label();
    st(r1, r2, 0xFFFF8000C0000000, 1);
    addi64(r2, r2, 1);
    jltu(r2, r3, start);

    std::Info("VFS Test done!");
    // un();
    tx();
}

main();