[klee05-full]