#include<stdio.h>#include<stdint.h>#include<string.h>#include<assert.h>#include<hal.h>#warning This is wrong, nothing outside libhal itself should include hal_internal.h#include<hal_internal.h>intmain(intargc,char*argv[]){if(rpc_server_init()!=HAL_OK)return1;rpc_server_main();return0;}