log/smt2perr129.smt2:1:14: expected '(' after 'let' at '#x0'