board_internal.h

int _native_null_out_file
int _native_null_in_pipe()
void board_init(void)