let hlpsl2scenario = (path_span^"/bin/protocol_simulation/hlpsl2scenario" : string)