[klee.embrace]