function initst import DESLib.RandomLib; input Integer duration; input Integer alloc; output st out; end initst;