// use iverilog as reference
`include "cond.sv"