let
hlpsl2if = (path_avispa^
"/bin/translator/hlpsl2if"
: string)