title: List of all built in symbols in z3
body: <p>I'm using the smt2-lib interface of z3 and trying to define the following:</p>
  
  <pre><code>(declare-const rem (set sl$REQ))
  </code></pre>
  
  <p>And get this error:</p>
  
  <pre><code>(error "line 36 column 31: invalid declaration, builtin symbol rem")
  </code></pre>
  
  <p>Is there a way to get a complete list of all the predefined symbols so that I can do an automatic renaming?</p>
  
  <p>Thanks!
  Simon</p>