Internal Transition Function
function int import RandomLib; input st s; input Real t; output st sout; end int;