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