I want to send multiple parameters, ie, random seed value and output trace file name via python to be passed on to
