Internal Transition Function
function int import DESLib.RandomLib; input st s; input Real p1; input Real p2; input Real p3; input Real p4; input Real T; input Integer maxbatches; output st sout; end int;