Hi, I'm writing the test benches for RTL simulation of my chip. I need to read a file where is the program that is going to be executed. However, I have made a #include <stdio.h> inside the la_test1.c and the verify complains about there are two definitions of putchar. One of the stdio and another of ./caravel/verilog/dv/caravel/stub.c. So, How I do to read a file inside the C code for the testbench?