Added main file for running in verilator.