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