External Transition Function
function ext import DESLib.RandomLib; input st s; input Real e; input Integer bag; output st sout; end ext;