%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%% Copyright: 2010 Integrated Sytems Laboratory, ETH Zurich
%%            http://www.iis.ee.ethz.ch/~sha3
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
function y = fprint64(x)

le = length(x);

y = uint64(zeros(1, 2*le));

for i=1:le,
    
  y(2*i-1) = bitshift(x(i),-32);
  
  y(2*i)   = bitshift(x(i),32);
  
  y(2*i)   = bitshift(y(2*i),-32);
  
end