#include "rwkv.h"

#include <stdio.h>

int main() {
    printf("%s", rwkv_get_system_info_string());
}