package tb_pkg; import "DPI-C" context function int dist_arb ( // returns an int between xmin and input int mode, // and xmax according to the distribution input int xmin, // in the csv file arbitrary_distribution_file.txt. input int xmax); // Call this first and once with mode==0 to set up. endpackage