data/full_repos/permissive/531265992/src/user_module_xoroshiro128.v
data/verilator_xmls/9bec8509-16b7-4e9e-9036-48765292e0cc.xml
function [63:0] rotl;
   input [63:0] x;
   input [5:0]  k;
   begin
      rotl = (x << k) | (x>>(64-k));
   end
endfunction
function [63:0] rotl;

   input [63:0] x;
   input [5:0]  k;
   begin
      rotl = (x << k) | (x>>(64-k));
   end
endfunction