data/full_repos/permissive/441359809/src/yosys/tests/simple/rotate.v
data/verilator_xmls/9686de82-e7fd-45c5-8304-d6c7f288bcfb.xml
function [4:0] wrap;
input integer pos;
input integer level;
integer out;
begin
        out = pos - (1 << level);
        wrap = out[4:0];
end
endfunction
function [4:0] wrap;

input integer pos;
input integer level;
integer out;
begin
        out = pos - (1 << level);
        wrap = out[4:0];
end
endfunction