Vahetama - KLEE-DECL