seq_decl: fix build with stricter compilers get rid of 32 rellocations as a nice side-effect
seq_decl: fix build with stricter compilers
get rid of 32 rellocations as a nice side-effect

mschlaipfer/z3,kyledewey/z3,seahorn/z3,kyledewey/z3,mschlaipfer/z3,seahorn/z3,kyledewey/z3,mschlaipfer/z3,mschlaipfer/z3,mschlaipfer/z3,kyledewey/z3,kyledewey/z3,seahorn/z3,seahorn/z3,mschlaipfer/z3,seahorn/z3,seahorn/z3,kyledewey/z3